“형식 의미론”으로 총 1건 검색

• 형식 의미론, 形式意味論, formal semantics

  ㉣표시적 의미론:언어의 구성 요소로부터 어느 수학적 실체(정수, 집합, 함수 등)에 대한 사상(寫像)으로서 의미를 정의하는 입장. 수학적 구조가 풍부하다. ㉤대수적 의미론:의미를 정의해야 할 언어를 어느 특별한 대수(代數)라 생각하고, 거기서 어느 대수에 대한 유일한 준동형 사상(準同形寫像)이 존재할 때...